منابع مشابه
Type Safety without Subject Reduction for Session Types
We present a simple and intuitive type system for a variant of the pi calculus with sessions where typable processes are guaranteed to be exempt from runtime errors. The type system, meant to type programs, cannot be directly used to type the runtime language. Hence, type-safety cannot be proved directly, via Subject Reduction. Instead we define a different language enjoying Subject Reduction a...
متن کاملOn the Subject Reduction Property for Algebraic Type Systems
Algebraic type systems provide a general framework for the study of the interaction between typed-calculi and typed rewriting systems. A major problem in the development of a general theory for algebraic type systems is to prove that typing is preserved under reduction (Subject Reduction lemma). In this paper, we propose a general technique to prove Subject Reduction for a large class of algebr...
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولA Jazz Session System for Interplay Among All Players - VirJa Session (Virtual Jazz Session System)
This paper presents a jazz session system in which each player is independent and can interplay with all other players. In most previous systems, computer players only reacted to human player’s performance with a fixed leader-follower relationship. Our system enables computer players to listen to other computer players’ performances as well as human’s performance and to interact with each other...
متن کاملType checking a multithreaded functional language with session types
We define a language whose type system, incorporating session types, allows com-plex protocols to be specified by types and verified by static typechecking. A ses-sion type, associated with a communication channel, specifies the state transitionsof a protocol and also the data types of messages associated with transitions; thustypechecking can verify both correctness of indi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2012
ISSN: 0916-8532,1745-1361
DOI: 10.1587/transinf.e95.d.2053